#include <bits/stdc++.h>
#define int long long
// 2024/08/07
// tag: 字符串 模拟
using namespace std;

signed main()
{
    vector<string> SampleEssay, Input;
    string Line;

    // 读取范文
    while (getline(cin, Line) && Line != "EOF")
    {
        SampleEssay.push_back(Line);
    }

    // 读取输入
    while (getline(cin, Line) && Line != "EOF")
    {
        Input.push_back(Line);
    }

    int Time, SameCharacters = 0;
    cin >> Time;


    // 去掉输入中的"<"
    for (int i = 0; i < Input.size(); i++) {
        string NewLine = Input[i];
        int Length = 0;
        for (int j = 0; j < Input[i].size(); j++)
        {
            if (Input[i][j] == '<'){
                if (Length != 0)
                    Length--;
            }
            else{    
                NewLine[Length++] = Input[i][j];
            }
        }
        Input[i] = NewLine.substr(0, Length);
    }

    // 去掉范文中的"<"
    for (int i = 0; i < SampleEssay.size(); i++)
    {
        string NewLine = SampleEssay[i];
        int Length = 0;
        for (int j = 0; j < SampleEssay[i].size(); j++)
        {
            if (SampleEssay[i][j] == '<')
            {
                if (Length != 0)
                    Length--;
            }
            else
            {
                NewLine[Length++] = SampleEssay[i][j];
            }
        }
        SampleEssay[i] = NewLine.substr(0, Length);
    }

    // 计算相同字符数
    for (int i = 0; i < Input.size(); i++)
        for (int j = 0; j < min(Input[i].size(), SampleEssay[i].size()); j++)
            if (SampleEssay[i][j] == Input[i][j])
                SameCharacters++;
    cout << round(SameCharacters / (Time / 60.0)) << endl;
    return 0;
}